logic theorist中文什么意思

逻辑理论家

• logic:    逻辑
• cirrus logic:    思睿逻辑
• lsi logic:    LSI公司

例句与用法

1. En 1955, Allen Newell et le futur prix Nobel d'économie, Herbert Simon, avec l'aide de Cliff Shaw, ont créé le « Théoricien logique (en) ».
   1955年，艾伦·纽厄尔和后来荣获诺贝尔奖的赫伯特·西蒙在J. C. Shaw的协助下开发了“逻辑理论家（Logic Theorist）”。
2. Il a contribué à la création du langage IPL (Information Processing Language) en 1956 et à l'écriture de deux des premiers programmes en IA, le Logic Theory Machine (1956) et le General Problem Solver (1957) (avec Herbert Simon).
   他是信息处理语言（IPL）发明者之一，并写了该语言最早的两个AI程序，合作开发了逻辑理论家（Logic Theorist 1956年）和一般问题解决器General Problem Solver。